<HTML><HEAD><TITLE>labeling(+Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>labeling(+Vars)</H1>
Instantiates all variables in a collection to elements of their domains.
<DL>
<DT><EM>Vars</EM></DT>
<DD>A collection (a la collection_to_list/2) of integer IC variables or integers
</DD>
</DL>
<H2>Description</H2>
<P>
   Simple predicate for instantiating a collection of integer IC variables
   to elements of their domains.  (Integers are also allowed in the
   collection; they are effectively ignored.)  The variables are
   instantiated in the order in which they appear in the collection; the
   implementation is essentially:
<PRE>
	labeling(Vars) :-
		collection_to_list(Vars, List),
		( foreach(Var,List) do
		    indomain(Var)
		).
</PRE></P>

<H3>Resatisfiable</H3>
Yes.
<H2>See Also</H2>
<A HREF="../../lib/ic/indomain-1.html">indomain / 1</A>, <A HREF="../../lib/sd/labeling-1.html">sd : labeling / 1</A>, <A HREF="../../lib/fd/labeling-1.html">fd : labeling / 1</A>, <A HREF="../../lib/lists/collection_to_list-2.html">lists : collection_to_list / 2</A>
</BODY></HTML>
